#ifndef HARDWARE_H
#define HARDWARE_H

s32  hw_read (u32 address);
void hw_write(u32 address, u32 value);

#endif
